inductive relation A relation R between domains D and E is inductive if for all {chains} {d1 .. dn} in D and {e1 .. en} in E, For all i, di R ei => lub(d) R lub(e)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.